execution semantics中文什么意思

semantics: n. 1.【語言學(xué)】語義學(xué)。 2.【哲學(xué)】語義哲學(xué)；語義學(xué)派。
execution: n. 1.實(shí)行，履行，執(zhí)行；貫徹。 2.執(zhí)行死刑；強(qiáng)制執(zhí)行；執(zhí)行命令。 3.作成，完成；簽名蓋印使法律文件生效；執(zhí)行法律。 4.扮演，演奏，(演奏)技巧，手法。 5.成功，奏效；效果；(武器的)殺傷力。 forcible execution 強(qiáng)制執(zhí)行。 The execution leaves much to be desired, though the idea is good. 設(shè)想雖好，執(zhí)行起來很難如愿。 execution by hanging 絞刑。 carry [put] into execution 實(shí)行，實(shí)施。 do execution奏效，見效；(武器有)摧毀作用 (He did great execution among the cakes. 他吃掉很多餅)。 Every shot did execution . 百發(fā)百中。 E- Dock 【英史】(泰晤士 (Thames) 河畔處決海盜等的)死刑碼頭。 make good execution 【軍事】摧毀；使敵方受重大損失。 put to execution 處死刑，執(zhí)行死刑。
the execution: 執(zhí)行死刑
algebraic semantics: 代數(shù)語義學(xué)
axiomatic semantics: 公理化語義; 公理語義學(xué)

下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

glossary entries for defining words include the execution semantics for the new definition in a name execution : section
定義詞的詞匯記錄包含給新的定義的執(zhí)行語義是包含在名稱執(zhí)行:節(jié)
a local is a data object whose execution semantics shall return its value, whose scope shall be limited to the definition in which it is declared, and whose use in a definition shall not preclude reentrancy or recursion
一個(gè)區(qū)域變數(shù)是一個(gè)執(zhí)行語義是傳回它的值的資料物件,它的范圍必須被限制于它被宣告的定義中,并且它的在一個(gè)定義中的使用必須不能排除重入或遞?

√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片